program
	int x;	int z;	int foo;
	read foo;	// foo could be anything
	if (foo=42) then	x := -1;	z := -1;
	else				x := 4;		z := 4;		
	fi
	/* Here -1<=x<=4 and -1<=z<=4 */
	if ((3 + x) + x*z - z*z*2 <= 7) then
		if ((3 + x) + x*z - z*z*2 >= 5) then
			write 1337;	
		fi
	fi
end

